

void initialize_source_info();
